TAGs: Solution set calculator